function log(str: string) { console.log(str);}