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