messy notes on proactive compil via xsb, PE