/// var log_to_console = function(x: string): void { console.log(x) }