[ 0:01] + cat
[ 0:01] + sim file.cpp
[ 0:01] compiling file.cpp
[ 0:01] 
[ 0:12]            ^       —————.   —.—  .     .  —.—  .     .  .—————    .    .
[ 0:12]           ———      |     |   |   |     |   |   |\    |  |         |    |
[ 0:12]          —(o)—     |     |   |   |     |   |   |  \  |  |————     '————|
[ 0:12]         ———————    |     |   |    \   /    |   |    \|  |              |
[ 0:12]        —————————   —————'   —'—     '     —'—  '     '  '—————         '
[ 0:12] 
[ 0:12] Welcome to 'divine sim', an interactive debugger. Type 'help' to get started.
[ 0:12] # executing __boot at /divine/src/dios/core/dios.cpp:169
[ 0:12] > source
[ 0:12]     168 extern "C" void  __attribute__((weak)) __boot( const _VM_Env *env ) {
[ 0:12] >>  169     __dios::init( env );
[ 0:12]     170 }
[ 0:12] # executing __boot at /divine/src/dios/core/dios.cpp:169
[ 0:12] > start
[ 0:12] # 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:16] # active threads: [0:0]
[ 0:16] # executing main at file.cpp:1
[ 0:16] > source
[ 0:16]       1 int main() {
[ 0:16]       2     struct X {
[ 0:16]       3         ~X() { }
[ 0:16]       4     } _;
[ 0:16] >>    5 }
[ 0:16] # executing main at file.cpp:1
[ 0:16] 
[ 0:17] = expected ==========
[ 0:17] + ^# executing __boot at
[ 0:17] > source
[ 0:17] > start
[ 0:17] - ^# executing
[ 0:17] + ^# executing main at
[ 0:17] > source
[ 0:17] + ^\s*1\s*int main\(\) \{
[ 0:17] + ^\s*2\s*    struct X \{
[ 0:17] + ^\s*3\s*        ~X\(\) \{ \}
[ 0:17] + ^\s*4\s*    \} _;
[ 0:17] + ^>>\s*5\s*\}
[ 0:17] 
[ 0:17] = matched ===========
[ 0:17] # executing __boot at /divine/src/dios/core/dios.cpp:169     | ^# executing __boot at
[ 0:17] > source                                                     | ^> source
[ 0:17] > start                                                      | ^> start
[ 0:17] # executing main at file.cpp:1                               | ^# executing main at
[ 0:17] > source                                                     | ^> source
[ 0:17]       1 int main() {                                         | ^\s*1\s*int main\(\) \{
[ 0:17]       2     struct X {                                       | ^\s*2\s*    struct X \{
[ 0:17]       3         ~X() { }                                     | ^\s*3\s*        ~X\(\) \{ \}
[ 0:17]       4     } _;                                             | ^\s*4\s*    \} _;
[ 0:17] >>    5 }                                                    | ^>>\s*5\s*\}
[ 0:17] + check debris