True
g
A
invari
True
b
B
do_nothing
True
f
A
True
make
APPLICATION
Execution completed