export const a: number = 1 + true;