suppress warnings in alex-generated code