fix const/high16 int