function main() -> u64 { return 0 }