Symbol: brk_internal