Code cleaning: utilize vpushll().