foo :: () -> int { return 5; } bar :: () -> float { return 1235.0 * 500; } vertex main :: () { x : int = foo(); y : float = bar(); }