function main() {
	var a:Int;
	var b:Int;
	$type(a, _) = $type(b, _) = 0;
}