basic tests for File