/* AUTOGENERATED SOURCE FILE */
#include "../../../../firmware/core/timer32/timer32.h"