(program	
 (fun vertex vs_main
  [] 
  (:= b int f)))