Arduino for STM32

I have a simple sketch with two HardwareTimer instances.

TIM_TypeDef *trInstance = TIM4;
HardwareTimer *trtimer = new HardwareTimer(trInstance);

TIM_TypeDef *stInstance = TIM1;
HardwareTimer *stimer_t = new HardwareTimer(stInstance);


void setup() {
Serial.begin (115200);
delay(2000);
Serial ...