O-minimality loading ...