/* Check for UndefinedCheck  properly being detected */
extern ThisIsNotDefined;

proc main()
{
    try {
        ThisIsNotDefined();
    }
    catch(e) {
        if (e == oadl::ExternCheck) {
            "ThisIsNotDefined is undefined, as expected\n";
        }
    }
}