function main() -> bool { return a }