Yeah, I specifically said they don't get marked executable in the page tables. From the x86 code's perspective, they of course look executable.