#ifndef UTIL_ARRAY_H
#define UTIL_ARRAY_H

#include <stdint.h>
#include <stdlib.h>

size_t push_zeroes_to_end(uint32_t arr[], size_t n);

#endif