Vx32: Lightweight, User-level Sandboxing on the x86