var void
var void
str "%s: obsolete predefined symbol reference disabled"
str "%s: obsolete predefined symbol referenced"
str "missing %d )%s in predicate argument list"