module I8 (I8) where