debugging in progress: value ordering in tuple decode