/* custom error: user message */
select WithIssue(1 || 2, "foo_file", 10, 20, "user message")