#include "all-headers.h" void supervisorCall(SECTION_MODE) { // TODO }