#include <stdint.h>

struct foo {
  uint64_t sixty_four;
  uint32_t thirty_two;
};

int bar (uint64_t x, uint32_t y);