void check_mains_power(void);
