vex: use memory