-rw-r--r-- 101 saferewrite-20240622/src/int16_min/ref/min.c raw
#include <inttypes.h> int16_t int16_min(int16_t x,int16_t y) { if (x < y) return x; return y; }