xlint option