Agree that catch is not perfect and rather an adhoc-patch. Should perhaps just add a TODO and hint the code as-is is crash prone, would that be better for now? Undecided, try a call :)