fix the order in which arguments are stored in the mk_const gate