BITMAN and ROBAN