void init_rest();