{}
#include <stdio.h>
#include <stdint.h>
typedef int32_t T;
typedef uint32_t TickType_t;
T integration_running_sum = 0;
T target_delta = -15;
TickType_t interval_ms = 50;
T Ki = 1000;
int main()
{
integration_running_sum = (target_delta * interval_ms * Ki) / 1000;
printf("orig = %d\n", integration_running_sum);
integration_running_sum = (target_delta * (T)interval_ms * Ki) / 1000;
printf("fix = %d\n", integration_running_sum);
return 0;
}