export const foo: {
  foo: string,
  bar: number,
} = {
  foo: "Hello, \"world!\"",
  bar: 42,
};