#pragma once
#include <cstddef>

extern unsigned char banner[];
extern size_t banner_size;