// updating the testcase for 1247
// concluded that we need to convert all the 4,3,2 liners to one liner based on the option
int fun() {return 0;}

int fun() {return 0; }

int fun() {return 0;}

int fun() {return 0; }

int fun() {return 0; }

int fun() { return 0;}

int fun() {return 0; }

int fun() {return 0;}