Headers defining protocols for SPICE server code.