Envelope tests
Top level options