Mark set_uint32 function as 'inline'.