Add more restrictions. We'll remove them when we can compile and they
prove to be erroneous