let apply_function env def labels args =
    let definition = get_definition compile_function def in
    let arguments = List.map (data_of_term env) args in
    let bindings = apply_formals env labels definition.d_formals arguments in
    F.e_call definition.d_callname bindings