move_binary_format::check_bounds