Update argmax.sv