Trick with vex::tie()