USER_TARGET=
USER_CFLAGS=
USER_C_FILES=
ALL_C_FILES=EverCrypt.c
ALL_H_FILES=EverCrypt.h