#include <stdint.h>
#include <memcpy.h>
#include <print.h>

uint64_t div_roundup_u64(uint64_t a, uint64_t b);
uint64_t align_up_u64(uint64_t a, uint64_t b);

typedef char symbol[];