def hello() -> str:
    """Return a greeting message."""
    return "Hello world"