extern __attribute__((visibility("default"))) int print_status();
int main() {
return print_status();
}