--hardening Generate contracts in the C code against bugs in the compiler
--no-check-covariance Disable type tests of covariant parameters (dangerous)
--no-check-initialization Disable isset tests at the end of constructors (dangerous)
--hardening Generate contracts in the C code against bugs in the compiler
--no-check-covariance Disable type tests of covariant parameters (dangerous)
--no-check-initialization Disable isset tests at the end of constructors (dangerous)