Renamed getint to read-int in TAM