Perfectly decompilable with pseudo-registers. Why did I decide against them in 2015? Part of P0133, funded by [Anonymous].