Adding testing input for type checking