만우 — a Korean name for Mario — Ireum