def dump():
    exit(1)