public static function b() { return A237; // will emit a php notice for undefined, and assume 'A237' }