@xiangli-cmu Why did you switch this to read to a `[]byte` and then convert to a `uint` later? It seems like less code just to read the hex in.