Better private symbol names