// dummy file to make Make dependencies work
#include "char.hpp"