module T12192 where