explicitly specifying bit lengths