fun main () : transaction page = return 3 = {cdata (show _ (readError _ "3" : int))}