Headers defining protocols for SPICE server code
