int val2(void);