test1: SealModule