To avoid name collisions