module I32 (I32) where