spec4: add readable 3 files