1 2 3
fun main () : transaction page = return <html><body> 3 = {cdata (show _ (readError _ "3" : int))}<br/> </body></html>