if defined?(read_stage_size?) && read_stage_size?
      asm << %^
      allocate_memory:
        ; read incoming stage size
        push rbx                      ; buffer for stage size