On second thoughts, don't use getint