a5 = engine.aregs[5];
cont = engine.cont;
// print_procedure_box(A,B,C,D,E):-['$get_level'(F),clause('jp.ac.kobe_u.cs.prolog.builtin':'$leap_flag'(no),G),'$cut'(F),'$builtin_message'([' ',E,A,:,C:B]),'$dummy_27_builtins.pl'(B,E,C,H,A,D)]
a6 = new VariableTerm(engine);
//START inline expansion of $get_level(a(6))
if (! a6.unify(new IntegerTerm(engine.B0), engine.trail)) {
return engine.fail();
}
//END inline expansion
Term[] y1 = {a3, a2};
a7 = new StructureTerm(s2, y1);