From binary code to C++ using XSB

This is interesting: