export function values<T>(x: T[]): T[] {
  return x.slice();
}