Overflows if a_Idx < a_Length