#include "drivers/ctc.h" void ctc_control() { }