fun id n = if n = 0 then 0 else 1 + id (n - 1) fun main () : transaction page = return