$(SRC)/AltosRecordCompanion.java \
$(SRC)/AltosRecordIterable.java \
$(SRC)/AltosRecord.java \
$(SRC)/AltosRecordCompanion.java \
$(SRC)/AltosRecordIterable.java \
$(SRC)/AltosRecord.java \
$(SRC)/AltosRecordTM.java \
$(SRC)/AltosRecordMM.java \
$(SRC)/AltosReplayReader.java \
$(SRC)/AltosRecordTM.java \
$(SRC)/AltosRecordMM.java \
$(SRC)/AltosReplayReader.java \