Int_val -> Val_int