Simple tests about File reading