Spike API

• s_string(char * in): outputs a literal

• s_string_variable(unsigned char *fuzz)

• s_binary(char * in: output literal binary data

• s_xdr_string(unsigned char *in): output a literal XDR-string (4-byte length tag and zero-padded to a multiple of 4)

• s_int_variable(int defaultvalue, int type): output an integer literal