export function quoteIdent(name: string): string {
  if (!/^[a-z_][a-z0-9_]*$/.test(name)) throw new Error("invalid identifier");
  return `\`${name}\``;
}