export declare function updateTrace(trace: number[], value: number): number[];