function foo(): string {
    return <any>'Hello, world!';
}