#include void c (int val) { LCDPrintf("%d\n", val); }