VAR_INITIALIZED 516 cont.c VAR_INITIALIZED(cont); VAR_INITIALIZED 128 eval_jump.c VAR_INITIALIZED(th);