char key_tbl[][] =
{
    {  1,  2,  3,  4  },    // row 0
    {  5,  6,  7      },    // row 1
    {  8,  9, 10      },    // row 2
    { 11, 12, 13      },    // row 3
};