add verification for GetInt