#include <cstdint>

extern "C" void loader64(uint64_t mb_addr, uint64_t mb_magic, uint64_t cursor_pos)
{
}