proc f(a: Int; b: Word) return end.