next prototype correction for 64-bit hosts