fix flags in documentation
mark exit_core as noreturn for static analyzer