function main() { const a: u32 = 0; }