Use [a] as the push back buffer