Un modulo que usa module12A para el atributo __module__