twobit_label( 1001, compiled_block_2_1001 );
  twobit_reg( 2 );
  twobit_op1_branchf_612( 2, compiled_temp_2_2, 1004, compiled_block_2_1004 ); /* internal:branchf-zero? */
  twobit_reg( 3 );
  twobit_return();
  twobit_label( 1004, compiled_block_2_1004 );
  twobit_save( 3 );
  twobit_store( 0, 0 );
  twobit_store( 1, 3 );
  twobit_store( 3, 2 );
  twobit_reg( 2 );
  twobit_op2imm_131( fixnum(1), 3, compiled_temp_2_3 ); /* - */
  twobit_setreg( 15 );
  twobit_store( 15, 1 );
  twobit_global( 1 ); /* random */
  twobit_setrtn( 1006, compiled_block_2_1006 );
  twobit_invoke( 1 );
  twobit_label( 1006, compiled_block_2_1006 );
  twobit_load( 0, 0 );
  twobit_setreg( 15 );
  twobit_load( 2, 1 );
  twobit_load( 14, 2 );
  twobit_reg( 15 );
  twobit_op2_58( 14 ); /* cons */
  twobit_setreg( 3 );
  twobit_load( 1, 3 );
  twobit_pop( 3 );
  twobit_branch( 1001, compiled_block_2_1001 );