GC some superfluous code.

src/rfc8188.c

@@ -36,9 +36,7 @@
 
 #include "rfc8188.h"
 
-#ifndef VDEF_H_INCLUDED
-# include "vdef.h"
-#endif
+#include "vdef.h"
 #include "vas.h"
 
 /* ch 2.2 */
@@ -63,22 +61,10 @@ mk_error(char *buf)
 	    ERR_error_string(ERR_get_error(), NULL));
 }
 
-/* copied from vend.h */
-static inline void
-be32enc(void *pp, uint32_t u)
-{
-	uint8_t *p = (uint8_t *)pp;
-
-	p[0] = (u >> 24) & 0xff;
-	p[1] = (u >> 16) & 0xff;
-	p[2] = (u >> 8) & 0xff;
-	p[3] = u & 0xff;
-}
-
 void
 encode_header(uint8_t *hdr, uint32_t rs, uint8_t idlen, uint8_t *keyid)
 {
-	be32enc(hdr + RS_OFF, rs);
+	vbe32enc(hdr + RS_OFF, rs);
 	hdr[IDLEN_OFF] = idlen;
 	memcpy(hdr + ID_OFF, keyid, idlen);
 }