#ifndef STRINGS_H
#define STRINGS_H

#include <stdint.h>

static inline void uint32_to_bits(uint32_t number, char *buf)
{
  for (int i = 0; i < 32; i++)
    buf[i] = ((number >> (32 - i - 1)) & 1) ? '1' : '0';

  buf[32] = '\0';
}

#endif // STRINGS_H