update jmpbc_thm
update compile_val
update compile_print_err_thm