export const a: "a" = 12;