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