(args)
return x._values.new_string().from_str(bytes(to_integer(x).to_bytes()))
MKI$: return the byte representation of an int.
MKI$: return the byte representation of an int.
MKI$ : return the byte representation of an int .
def mki_(args):
    """MKI$: return the byte representation of an int."""
    x, = args
    return x._values.new_string().from_str(bytes(to_integer(x).to_bytes()))
def mki_ ( args ) : x , = args return x . _values . new_string ( ) . from_str ( bytes ( to_integer ( x ) . to_bytes ( ) ) )