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