廣弘明集 9.119

9.119

文始傳云。老子引四天王。大眾皆身長丈六。短者丈二。計人大而天小。何以自容常臥不起。愕然大怪。

The Wenshi zhuan says: 'Laozi led the Four Heavenly Kings; the great assembly were all sixteen feet in height, the shorter ones being twelve feet.' Calculating this: the people are large while the heavens are small. How could they contain themselves? They would constantly have to lie down and never get up! This is utterly bizarre and astonishing!