@katexochen
let daysWithoutFixpointIssues = 0 + daysWithoutFixpointIssues in daysWithoutFixpointIssues