O-minimal_structure loading ...