module I16 (I16) where