program_state = 
{
  char string[];
};

>> ()
{
  registers rx = .;
  program_state ds = { string : "Hello, World!$" };

  <set-rx> &rx;                                                                /* Set registers */
  <set-ds> &ds;                                                                /* Set DS register */
  
  <mov> 0x09 .R_AH;                                                            /* Print string */
  <mov> field_offset (data, string) .R_DX;                                     /* Offset from DS */
  <int> 0x21;                                                                  /* Call DOS */

  <mov> 0x4C .R_AH;                                                            /* Terminate process */
  <xor> R_AL .R_AL;                                                            /* Return code */
  <int> 0x21;                                                                  /* Call DOS */
}