very strange Push arrays in PushL