@external(erlang, "io", "get_line")
pub fn get_line(prompt: String) -> String