data type promotion
a synchronizing point for zhuhe and kai