test/all/undefined/formal_type/formal_type.dzn:34:17: error: unknown type name `Extern'
