#include "stm32f1xx_hal.h"
#include <stdio.h>

void HAL_GPIO_TogglePin(GPIO_TypeDef *GPIOx, uint16_t GPIO_Pin){
  printf("toggling pin\n");
}
GPIO_PinState HAL_GPIO_ReadPin(GPIO_TypeDef *GPIOx, uint16_t GPIO_Pin){
  printf("reading pin, returning 0\n");
  return GPIO_PIN_RESET;
}
void HAL_GPIO_WritePin(GPIO_TypeDef *GPIOx, uint16_t GPIO_Pin, GPIO_PinState PinState){
  printf("writing pin\n");
}

HAL_StatusTypeDef HAL_TIM_Base_Start_IT(TIM_HandleTypeDef *htim){
  printf("starting timer\n");
  return HAL_STATUS_OK;
}
HAL_StatusTypeDef HAL_TIM_Base_Stop_IT(TIM_HandleTypeDef *htim){
  printf("stopping timer\n");
  return HAL_STATUS_OK;
}