type mismatch in global initializer
