push encoding