MIRIN

Definition of MIRIN