un-asterix symbol names, do not declare locally special