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