chiark / gitweb /
Factor out some common code in RETURN_RESULT into return_result_{start,finish} for...