(write'main)