// Converted using ConvPNG
#include <stdint.h>
#include "mine_gfx.h"