e52c0d0da2
This commit fixes the bug where printf() is used in verify_allocated_region() when ets_printf() should be used.