program abc 
variables  
 {    
    type1 : arg1 ;
 }
functions
 {
    define type : funcname1 ()
      {
      }
 }
statements
 if(funct1())
   {
     funct1(abc);  
   }
end