Symbol: rpc_decode_header