simplified fetch64 and fetch32, improved performance by ~20%