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