/* Check for UndefinedCheck properly being detected */ extern ThisIsNotDefined; proc main() { try { ThisIsNotDefined(); } catch(e) { if (e == oadl::ExternCheck) { "ThisIsNotDefined is undefined, as expected\n"; } } }