let
block_length _mem loc = sizeof_loc loc