trans compilation

avbox 上的trans compilation。