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