foo :: () -> int {
	return 4;
}

vertex main :: () {
	foo();
}