now compiles duff's device
rewrite test-expand