#include int internal_thingy(); int pkgdep() { return internal_thingy(); }