function main() -> u32 { return 0 }