complete some missing jl_box functions