definition module tree3

f3 :: Dynamic -> Int