[ESPRESSO_TXN_PAGE] .