int val1(void);