fun1 =: 3 :0 val3=. 0 val3=: 0 ) fun1'' |domain error