it does, you can do this with mcsema today, with some restrictions. i.e. if there are stack variables, it won&#x27;t reach a fixed point because loads and stores will blow up the size due to a stupid architectural decision. but if everything is in registers, you&#x27;ll reach a fixed point.