Marking functions as no_return as appropriate
Fix compilation warnings (unused variable)