-rw-r--r-- 118 saferewrite-20240515/src/int8_store/ref/store.c raw
#include <stdint.h> #include <string.h> #include <endian.h> void int8_store(unsigned char *s,int8_t x) { *s = x; }