A Native Client port of VERGE