Furter testing the specification of the filelike impl