export function push$<T>(x: T[], ...vs: T[]): T[] {
  x.push(...vs);
  return x;
}