/* AUTOGENERATED SOURCE FILE */
#include "../../../firmware/applications/cbitset.h"