Symbol: IMPLEMENT_SHAKE_functions