== code

# variant of slice-to-string intended to be called from Mu
# Mu doesn't yet expose allocation-descriptors
_slice-to-string:  # in: (addr slice), out: (addr handle array byte)
    # . prologue
    55/push-ebp
    89/<- %ebp 4/r32/esp
    #
    (slice-to-string Heap *(ebp+8) *(ebp+0xc))
    # . epilogue
    89/<- %esp 5/r32/ebp
    5d/pop-to-ebp
    c3/return