@require(extern) @extends('base_symbol_summary.html') @def type(): extern @end @def name(): @extern @end