Headers defining protocols for SPICE server code.

Homepage:
https://spice-space.org/
