if you had a hex string like '0x7c' how would you convert it to an int? int(0x7c) works, but not int('0x7c')