/* AUTOGENERATED SOURCE FILE */
#include "../../../firmware/basic/ecc.h"