import AIR32F1 class GPIO(AIR32F1.GPIO):... class Time(AIR32F1.Time):...