Formatting for ispc/pointer-chasing