Constant DEFAULT_SINGLEPLAYER_ARG 

pub const DEFAULT_SINGLEPLAYER_ARG: &[u8; 15] = b"--singleplayer\0";