#include <stdint.h>

typedef struct {
    int32_t bar;
    double baz;
    uint8_t bat;
} foo;

void foobar(foo* x) {
    x->bar++;
    x->baz = x->baz + (double)(x->bat);
    x->bat--;
}