#include <stddef.h>
#include <stdint.h>

void sha_pad_buffer(uint8_t* buffer, size_t size);