export const const a: 5a = 5

export const const b: 10b = 10

export const const c: numberc = const a: 5a + const b: 10b