table a : { B : int }

fun main () : transaction page =
    dml (update [[]] {} a (WHERE TRUE));
    return <xml></xml>