protocol Hello {
    record Hello {
        string message;
        int timestamp;
    }
}