Use getattr for __builtins__