legacy/typecheck/bridge