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