0012_rand_empty.c:4.2-5.0: bottom
