test file for starting with type checking