#include "path2.h" int path2(int x) { return x*42; }