static const char *input[] = {
    "467..114..",
    "...*......",
    "..35..633.",
    "......#...",
    "617*......",
    ".....+.58.",
    "..592.....",
    "......755.",
    "...$.*....",
    ".664.598..",
};

static const int input_height = sizeof(input) / sizeof(input[0]);
// python hax:
//   len(one_line_of_this_bullshit)
static const int input_width = 10;