utility function to easily load 32 bit values to ARG1 and ARG2