#ifndef TCPL_TCPL_H
#define TCPL_TCPL_H
/*
 * This is a header file to be included into every source file that comprises
 * this project.
 * Do #include <tcpl/tcpl.h>
 */

#include <lib/print.h>

#endif