#include "val1.h"

int val1(void) { return 1; }