~ cat labels.e elf.e hello.e | ./quine > hello && chmod 755 hello && ./hello

: output-start-routine
  current-offset L' start set-label
  1 :rax mov-reg64-imm32
  1 :rdi mov-reg64-imm64
  origin L' greeting use-label + :rsi mov-reg64-imm64
  L' greeting-size use-label :rdx mov-reg64-imm64
  syscall
  60 :rax mov-reg64-imm32
  0 :rdi mov-reg64-imm32
  syscall
  ;

: output-greeting
  current-offset dup L' greeting set-label 3unroll
  s" Hello, Irenes!" packstring
  current-offset 4 roll - L' greeting-size set-label ;

~ (output memory start, current output point
~  -- output memory start, current output point)
~
~ Everything directly called by all-contents has this same interface.
~
: all-contents
  elf-file-header
  elf-program-header
  output-start-routine
  output-greeting
  current-offset L' total-size set-label
  ;

' all-contents entry-to-execution-token label-loop
swap sys-write bye