extern __attribute__((visibility("default"))) int print_status();

int main() {
    return print_status();
}