for ATEN, we always use ATEN encoding