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