add mario lib