[hacks] style change, push() is now <<