int return_code() {
    return 0;
}