Proper+ compiler works for examples.