#pragma GCC system_header
int noreturn() { }