int main() {
    print_wrapper (Config.x);
    return return_code ();
}