xheep_gen.peripherals.user_peripherals_domain module