/* Test that variables are zero initialized */

class Main {
   void main() {
		boolean a;
		if (!a){
      		write(5); }
   }
}