-- hack against invalidating built-ins in tests