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