A note on coding techniques in bounded arithmetic