debugging 4rth push