fileassoc_register
error = fileassoc_register("veriexec",
int fileassoc_register(const char *, fileassoc_cleanup_cb_t, fileassoc_t *);