union must_be_at_least_512_bytes {
  int interesting_datum;
  char padding[512];
};