spice protocol definition header