aux_post_table =
Kernel_function
.
Hashtbl
.create 17