#x:process-id  = #x:type-check  #x:reorder-end #x:continuation-identifier #x:variable-parameters;
