static inline void set_num_722 ( unsigned char * p , uint16_t value ) {
 archive_be16enc ( p , value ) ;
 }
static inline void set_num_722 ( unsigned char * p , uint16_t value ) {
 archive_be16enc ( p , value ) ;
 }