void F0(out bool l0) {
	l0 = true;
	return;
}