[Granite 002] main as