Added StdIn library