added constraints `int`