void servo_init(void);
mp_obj_t pyb_servo_set(mp_obj_t port, mp_obj_t value);
mp_obj_t pyb_pwm_set(mp_obj_t period, mp_obj_t pulse);
mp_obj_t pyb_Servo(mp_obj_t servo_id);