-rw-r--r-- 94 saferewrite-20240515/src/flip/ref/flip.c raw
#include <inttypes.h>

void flip(const int8_t *a,int8_t *b)
{
  b[0] = a[1];
  b[1] = a[0];
}