This is already defined as `jl_fptr_t`. Does that not work for some reason?