Encode_fixed