../typecheck/tc_info.mx