A small file type checker for dotnet