int fn_a() { return 5; }
int fn_b() { return 13; }