- append(format("%%%d %s %s()", get_label(func), func.return_type, func.name));
+ string text = format("%%%d %s %s", get_label(func), func.return_type, func.name);
+ if(func.source==BUILTIN_SOURCE)
+ text += " (builtin)";
+ else if(!func.definition)
+ text += " (undefined)";
+ append(text);