use serde::Serialize;
use serde_repr::Serialize_repr;
use serde_json::{self, to_string}; // 1.0.40

#[derive(Serialize)]
pub struct PlayerDat {
    #[serde(rename = "DataVersion")]
    data_version: i32,
    #[serde(rename = "Dimension")]
    dimension: Dimension,
}

#[derive(Serialize_repr)]
#[repr(i32)]
pub enum Dimension {
    Overworld = 0,
    Nether = -1,
    TheEnd = 1,
}

fn main() -> serde_json::Result<()> {
    let dat = PlayerDat {
        data_version: 19133,
        dimension: Dimension::Nether,
    };
    println!("{}", to_string(&dat)?);
    Ok(())
}