/// Diameter of player head.
pub const HEAD_DIAMETER: f64 = 0.476;
/// Radius of player head.
pub const HEAD_RADIUS: f64 = 0.238;
/// Diameter of objects (and wheels).
pub const OBJECT_DIAMETER: f64 = 0.8;
/// Radius of objects (and wheels).
pub const OBJECT_RADIUS: f64 = 0.4;
/// Size of top10 data for a player.
pub const PLAYER_TOP10_SIZE: usize = 344;
/// Size of top10 data for a level.
pub const TOP10_SIZE: usize = PLAYER_TOP10_SIZE * 2;