/* AUTOGENERATED SOURCE FILE */
#include "../../../firmware/filesystem/integer.h"