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