#include #include "lib.h" void _trace(int i) { printf("[%d]", i); }