pub fn builtin_trace(
    this: &builtin_trace,
    loc: CallLocation<'_>,
    str: Val,
    rest: Option<Thunk<Val>>
) -> Result<Val>