preserve_encode -> int_preserve_encode