Add hoisted version of toy programs