adamc@954: fun one () = return 1 adamc@954: adamc@954: fun addEm n = adamc@954: if n = 0 then adamc@954: return 0 adamc@954: else adamc@954: n1 <- rpc (one ()); adamc@954: n2 <- addEm (n - 1); adamc@954: return (n1 + n2) adamc@954: adamc@954: fun main () = adamc@954: s <- source 0; adamc@954: return adamc@954: adamc@954: