#include "val1.h"
#include "val2.h"

int val2(void) { return val1() + 2; }