Extension modules for miao