jacket-28
Closing terms with locals, arguments and closed terms