Insertion d'un entier 32 bits en fin de séquence.


Prototype

void push_u32(uint32_t i)