still trying to figure out eval_build_byte4array2 and eval_fill_byte4array2