#include "lib02.h" int f1 (void) { return 11; }