DEBUG_printf(" alloc table at %p, length "UINT_FMT" bytes\n",gc_alloc_table_start,gc_alloc_table_byte_len);
DEBUG_printf(" pool at %p, length "UINT_FMT" blocks = "UINT_FMT" words = "UINT_FMT" bytes\n",gc_pool_start,gc_pool_block_len,gc_pool_word_len,gc_pool_word_len*BYTES_PER_WORD);
DEBUG_printf(" alloc table at %p, length "UINT_FMT" bytes, "UINT_FMT" blocks\n",gc_alloc_table_start,gc_alloc_table_byte_len,gc_alloc_table_byte_len*BLOCKS_PER_ATB);
#if MICROPY_ENABLE_FINALISER
DEBUG_printf(" finaliser table at %p, length "UINT_FMT" bytes, "UINT_FMT" blocks\n",gc_finaliser_table_start,gc_finaliser_table_byte_len,gc_finaliser_table_byte_len*BLOCKS_PER_FTB);
#endif
DEBUG_printf(" pool at %p, length "UINT_FMT" bytes, "UINT_FMT" blocks\n",gc_pool_start,gc_pool_block_len*BYTES_PER_BLOCK,gc_pool_block_len);