    ghost
    noParamsWithAxioms(  )
            returns
            uint {
                                           axiom


                                           myAxiom()            >= 0; axiom
                           hereIsAnotherOne;


                      }
            ghost busters(

            )returns bool;

    ghost uint u {
	axiom u ==
 1;}
