1414: enabled wait_for_smx to debug