add MustGetInt