function main() = (