Do not conflict with real symbol names