Vanilla Opaque Structures Execution Library