#include <assert.h>
#include <inttypes.h>
#include <stdint.h>
#include <stdio.h>
#include <stdlib.h>

typedef uint64_t uint64_unaligned_t [[gnu::aligned(1)]];

int main(void) {
  void *buf = malloc(BUFSIZ);
  char *ch = buf;
  uint64_unaligned_t *num = buf + 1;
  *num = 42;
  *ch = '!';
  free(buf);
  return 0;
}