Export functions from util.jl