resolve human identifiers to symbol #291