anchor.diff:     ELSE s" boot-file" evaluate THEN THEN
   ;
   
  -: $bootdev
  +: $bootdev ( -- device-name len )
      bootdevice 2@ dup IF s"  " $cat THEN
      s" diagnostic-mode?" evaluate IF
         s" diag-device" evaluate
  
positive.code:       go-args 2@ go-entry start-elf64 client-data
        claim-list elf-release 0 to claim-list
     THEN
     -6d boot-exception-handler ABORT" "
  ;
  
  : load-elf-init ( arg len file-addr -- success )
  
negative.code:       go-args 2@ go-entry start-elf client-data
        claim-list elf-release 0 to claim-list
     THEN
     -6d boot-exception-handler ABORT
  ;
  : go-64 ( -- )
     state-valid @ IF
  