getVerTs (ip,op) arg_tableName arg_row arg_column arg_timestamp arg_numVersions arg_attributes = do
  send_getVerTs op arg_tableName arg_row arg_column arg_timestamp arg_numVersions arg_attributes
  recv_getVerTs ip
getVerTs (ip,op) arg_tableName arg_row arg_column arg_timestamp arg_numVersions arg_attributes = do
  send_getVerTs op arg_tableName arg_row arg_column arg_timestamp arg_numVersions arg_attributes
  recv_getVerTs ip
getVerTs (ip,op) arg_tableName arg_row arg_column arg_timestamp arg_numVersions arg_attributes = do
  send_getVerTs op arg_tableName arg_row arg_column arg_timestamp arg_numVersions arg_attributes
  recv_getVerTs ip