HAVE_PRINT_MACHINE_REGISTERS  799 vm_dump.c      #  define HAVE_PRINT_MACHINE_REGISTERS 1
HAVE_PRINT_MACHINE_REGISTERS  803 vm_dump.c      #  define HAVE_PRINT_MACHINE_REGISTERS 1