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