procedure main();while{};end