Some details regarding the console port of Rust