changed to __builtin__