[ 0:00] + tee loop.c
[ 0:00] #include <sys/divm.h>
[ 0:00] 
[ 0:00] void __sched() { __vm_suspend(); }
[ 0:00] int main() {}
[ 0:00] 
[ 0:00] void __boot()
[ 0:00] {
[ 0:00]     __vm_ctl_set( _VM_CR_State, __vm_obj_make( 4 ) );
[ 0:00]     __vm_ctl_set( _VM_CR_Scheduler, __sched );
[ 0:00]     __vm_suspend();
[ 0:00] }
[ 0:00] + sim loop.c
[ 0:00] compiling loop.c
[ 0:00] 
[ 0:00]            ^       —————.   —.—  .     .  —.—  .     .  .—————    .    .
[ 0:00]           ———      |     |   |   |     |   |   |\    |  |         |    |
[ 0:00]          —(o)—     |     |   |   |     |   |   |  \  |  |————     '————|
[ 0:00]         ———————    |     |   |    \   /    |   |    \|  |              |
[ 0:00]        —————————   —————'   —'—     '     —'—  '     '  '—————         '
[ 0:00] 
[ 0:00] Welcome to 'divine sim', an interactive debugger. Type 'help' to get started.
[ 0:00] # executing __boot at loop.c:8
[ 0:00] > trace --choices 0 0
[ 0:00] traced states: #1 #1 [loop closed]
[ 0:00] unused choices: 0/0 0/0
[ 0:00] ERROR: could not reach userspace
[ 0:00] # executing - at -
[ 0:00] 
[ 0:00] = expected ==========
[ 0:00] > trace --choices 0 0
[ 0:00] + traced states: #1 #1 \[loop closed\]
[ 0:00] + unused choices: 0/0 0/0
[ 0:00] 
[ 0:00] = matched ===========
[ 0:00] > trace --choices 0 0                                        | ^> trace --choices 0 0
[ 0:00] traced states: #1 #1 [loop closed]                           | traced states: #1 #1 \[loop closed\]
[ 0:00] unused choices: 0/0 0/0                                      | unused choices: 0/0 0/0
[ 0:00] + check debris