-rw-r--r-- 99 saferewrite-20240515/src/divmod14/noadiv-buggy/uint16.h raw
#ifndef UINT16_H
#define UINT16_H

#include "crypto_uint16.h"
#define uint16 crypto_uint16

#endif