int input stream