Moving stuff over to windows, Type check test