encode_32
encode_32(buf + f->offset, val);
encode_32(attr + ISAKMP_ATTR_VALUE_OFF, life);
encode_32(*attrp + off + ISAKMP_ATTR_VALUE_OFF, value);
extern void encode_32(u_int8_t *, u_int32_t);