exported a useful theorem about the x64 code pool