adamc@906: fun main () = adamc@906: s <- source "13"; adamc@906: return adamc@906: adamc@906: None adamc@906: | Some n => Some {[n]})}/> adamc@906: