do we need to print this int value? @junmin-zhu