cookie int : int fun getOpt (t ::: Type) (o : option t) (v : t) : t = case o of None => v | Some x => x fun main () : transaction page = n <- getCookie int; sn <- source (getOpt n 7); return {[n]}}/> CHANGE