mulI with mulx