py-mujson is a stub port
