#include <stdint.h>
typedef int32_t (*FUN)(int32_t);
int32_t stretch(FUN f, float multiplicator, int32_t value) {
return f(multiplicator * value);
}