gpregsz64_str = ["X%d" % i for i in range(0x1e)] + ["LR", "XZR"]