1#include <picolibc.h>
2
3#ifndef __x86_64
4#include "memcmp-32.S"
5#endif
6