#define assume(x) ((void) 0)
#define memcpy4 memcpy