> load test-data/args.cbl
Loaded 2 CFGs from test-data/args.cbl
> register
The simulator is not yet running
> step
Ok
> break add
Ok
> call main
Ok
> run
Ok
> trace
% 7:12
$0 = fresh BaseBoolRepr p
% 8:12
$1 = fresh BaseIntegerRepr x
% 9:5
br $0 %1($1) %2()
% 13:18
$0 = intLit(12)
% 13:5
jump %3($0)
> finish
Ok
> finish
Ok
> trace 5
% 7:12
$0 = fresh BaseBoolRepr p
% 8:12
$1 = fresh BaseIntegerRepr x
% 9:5
br $0 %1($1) %2()
% 13:18
$0 = intLit(12)
% 13:5
jump %3($0)
% 3:13
$2 = intAdd($0, $1)
% 3:5
return $2
% 15:5
$1 = handleLit(add)
% 15:5
$2 = intLit(0)
% 15:5
$3 = call $1($2, $0);
% 16:13
$4 = emptyApp()
% 16:5
return $4
> quit
Ok