// Generated C++ vector containing program data.
#include <vector>
#include <cstdint>

std::vector<uint32_t> program_data = {
  0x45051141,   0x4639858A,   0x04000893,   0x00000073,   0x08934501,   0x007305D0,   0xA0010000, 
};