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