Function recoverGetU16

modules/dasSQLITE/sqlite/shell.c:15504–15506

** Decode and return an unsigned 16-bit big-endian integer value from ** buffer a[]. */

** buffer a[].
*/
static u32 recoverGetU16(const u8 *a){
  return (((u32)a[0])<<8) + ((u32)a[1]);
}

/*
** Decode and return an unsigned 32-bit big-endian integer value from