// Sibling of mod1.ww — same leaves (`ping`, `helper`, `fpi`),
// distinct values. See mod1.ww for the coverage-rationale comment.

fn helper() i32 = { return 13i32; };

fn fpi() i32 = {
	let h: fn() i32 = helper;
	return h();
};

export fn ping() i32 = { return 5i32 + helper() + fpi(); };