[ 0:01] + cat
[ 0:01] + sim file.c
[ 0:01] compiling file.c
[ 0:01] 
[ 0:11]            ^       —————.   —.—  .     .  —.—  .     .  .—————    .    .
[ 0:11]           ———      |     |   |   |     |   |   |\    |  |         |    |
[ 0:11]          —(o)—     |     |   |   |     |   |   |  \  |  |————     '————|
[ 0:11]         ———————    |     |   |    \   /    |   |    \|  |              |
[ 0:11]        —————————   —————'   —'—     '     —'—  '     '  '—————         '
[ 0:11] 
[ 0:11] Welcome to 'divine sim', an interactive debugger. Type 'help' to get started.
[ 0:11] # executing __boot at /divine/src/dios/core/dios.cpp:169
[ 0:11] > start
[ 0:11] # a new program state was stored as #1
[ 0:14] # active threads: [0:0]
[ 0:14] # a new program state was stored as #2
[ 0:15] # active threads: [0:0]
[ 0:15] # executing main at file.c:2
[ 0:15] > setup --debug-everything
[ 0:15] # executing main at file.c:2
[ 0:15] > info registers
[ 0:15] Constants:    220000000
[ 0:15] Globals:      120000000
[ 0:15] Frame:        86864fc320000000
[ 0:15] PC:           140000004
[ 0:15] Scheduler:    d540000000
[ 0:15] State:        1688ce0d20000000
[ 0:15] IntFrame:     1020000000
[ 0:15] Flags:        0
[ 0:15] FaultHandler: a340000004
[ 0:15] ObjIdShuffle: 19170eb0
[ 0:15] User1:        0
[ 0:15] User2:        201879b120000000
[ 0:15] User3:        4720ff8660000000
[ 0:15] User4:        0
[ 0:15] # executing main at file.c:2
[ 0:15] > stepa
[ 0:15] T: FAULT: access of size 8 at [heap* 52dbbc48 10h ddp] is 8 bytes out of bounds
[ 0:15] T: [0] FATAL: memory error in userspace
[ 0:15] # executing {Fault}::fault_handler(int, _VM_Frame*, int) at /divine/include/dios/core/fault.hpp:175
[ 0:15] > info registers
[ 0:15] Constants:    220000000
[ 0:15] Globals:      120000000
[ 0:15] Frame:        8e6f5f7620000000
[ 0:15] PC:           a440000043
[ 0:15] Scheduler:    d540000000
[ 0:15] State:        1688ce0d20000000
[ 0:15] IntFrame:     8ec20edf20000000
[ 0:15] Flags:        _VM_CF_Mask | _VM_CF_Error | _VM_CF_KernelMode
[ 0:15] FaultHandler: a340000004
[ 0:15] ObjIdShuffle: 19170f1f
[ 0:15] User1:        a7ced39520000000
[ 0:15] User2:        201879b120000000
[ 0:15] User3:        4720ff8660000000
[ 0:15] User4:        0
[ 0:15] # executing {Fault}::fault_handler(int, _VM_Frame*, int) at /divine/include/dios/core/fault.hpp:175
[ 0:15] > info registers
[ 0:15] Constants:    220000000
[ 0:15] Globals:      120000000
[ 0:15] Frame:        8e6f5f7620000000
[ 0:15] PC:           a440000043
[ 0:15] Scheduler:    d540000000
[ 0:15] State:        1688ce0d20000000
[ 0:15] IntFrame:     8ec20edf20000000
[ 0:15] Flags:        _VM_CF_Mask | _VM_CF_Error | _VM_CF_KernelMode
[ 0:15] FaultHandler: a340000004
[ 0:15] ObjIdShuffle: 19170f1f
[ 0:15] User1:        a7ced39520000000
[ 0:15] User2:        201879b120000000
[ 0:15] User3:        4720ff8660000000
[ 0:15] User4:        0
[ 0:15] # executing {Fault}::fault_handler(int, _VM_Frame*, int) at /divine/include/dios/core/fault.hpp:175
[ 0:15] > info registers
[ 0:15] Constants:    220000000
[ 0:15] Globals:      120000000
[ 0:15] Frame:        8e6f5f7620000000
[ 0:15] PC:           a440000043
[ 0:15] Scheduler:    d540000000
[ 0:15] State:        1688ce0d20000000
[ 0:15] IntFrame:     8ec20edf20000000
[ 0:15] Flags:        _VM_CF_Mask | _VM_CF_Error | _VM_CF_KernelMode
[ 0:15] FaultHandler: a340000004
[ 0:15] ObjIdShuffle: 19170f1f
[ 0:15] User1:        a7ced39520000000
[ 0:15] User2:        201879b120000000
[ 0:15] User3:        4720ff8660000000
[ 0:15] User4:        0
[ 0:15] # executing {Fault}::fault_handler(int, _VM_Frame*, int) at /divine/include/dios/core/fault.hpp:175
[ 0:15] 
[ 0:16] = expected ==========
[ 0:16] + ^# executing __boot at
[ 0:16] > start
[ 0:16] > setup --debug-everything
[ 0:16] - ^# executing
[ 0:16] + ^# executing main at
[ 0:16] > info registers
[ 0:16] + ^\s*Constants
[ 0:16] + ^\s*Globals
[ 0:16] + ^\s*Frame
[ 0:16] + ^\s*PC
[ 0:16] > stepa
[ 0:16] + ^# executing \{Fault\}
[ 0:16] > info registers
[ 0:16] + ^\s*Flags:.*Mask
[ 0:16] > info registers
[ 0:16] + ^\s*Flags:.*Error
[ 0:16] > info registers
[ 0:16] + ^\s*Flags:.*KernelMode
[ 0:16] 
[ 0:16] = matched ===========
[ 0:16] # executing __boot at /divine/src/dios/core/dios.cpp:169     | ^# executing __boot at
[ 0:16] > start                                                      | ^> start
[ 0:16] > setup --debug-everything                                   | ^> setup --debug-everything
[ 0:16] # executing main at file.c:2                                 | ^# executing main at
[ 0:16] > info registers                                             | ^> info registers
[ 0:16] Constants:    220000000                                      | ^\s*Constants
[ 0:16] Globals:      120000000                                      | ^\s*Globals
[ 0:16] Frame:        86864fc320000000                               | ^\s*Frame
[ 0:16] PC:           140000004                                      | ^\s*PC
[ 0:16] > stepa                                                      | ^> stepa
[ 0:16] # executing {Fault}::fault_handler(int, _VM_Frame*, int) at /divine/include/dios/core/fault.hpp:175 | ^# executing \{Fault\}
[ 0:16] > info registers                                             | ^> info registers
[ 0:16] Flags:        _VM_CF_Mask | _VM_CF_Error | _VM_CF_KernelMode | ^\s*Flags:.*Mask
[ 0:16] > info registers                                             | ^> info registers
[ 0:16] Flags:        _VM_CF_Mask | _VM_CF_Error | _VM_CF_KernelMode | ^\s*Flags:.*Error
[ 0:16] > info registers                                             | ^> info registers
[ 0:16] Flags:        _VM_CF_Mask | _VM_CF_Error | _VM_CF_KernelMode | ^\s*Flags:.*KernelMode
[ 0:16] + check debris