add internal pwl paper on x86 semantics with note