fun main () = s <- source ""; f <- source (plus 1); return

Function: