4.flake-parts/examples/project-commands/Hello.avdl

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