O-minimal loading ...