use modern python json