[{"EAX": "EBX", "has_loop": false}]