Spice protocol header files