Integration of the verifier; 4-byte alignment of catch clauses.