definition module m1

m1_func :: Dynamic -> Int