select WithIssue(1 + 2, "foo_file", 10, 20, "user message")