MARIO documentation