should be int