export function getValue(): string begin return 'A string value'; end