fun2 =: 3 :0
  val4=. 0
  3 :'val4=:y' y
)
   fun2 ''