(args)
return x._values.new_string().from_str(bytes(to_single(x).to_bytes()))
MKS$: return the byte representation of a single.
MKS$: return the byte representation of a single.
MKS$ : return the byte representation of a single .
def mks_(args):
    """MKS$: return the byte representation of a single."""
    x, = args
    return x._values.new_string().from_str(bytes(to_single(x).to_bytes()))
def mks_ ( args ) : x , = args return x . _values . new_string ( ) . from_str ( bytes ( to_single ( x ) . to_bytes ( ) ) )