by-hand jade code for QuickStart