Optimization ("+" is now faster than "push").