Adding new type 'eof' and creation and testing procedures