Some examples: * User calls `require()` outside the body of design functions * Design function is dependent on code written in top-level. ...