Initial types test