aux_post_table = Kernel_function.Hashtbl.create 17