/// var s: string = "Hello, world!"; log_to_console(s);