atomicIncrement (ip,op) arg_tableName arg_row arg_column arg_value = do
  send_atomicIncrement op arg_tableName arg_row arg_column arg_value
  recv_atomicIncrement ip
atomicIncrement (ip,op) arg_tableName arg_row arg_column arg_value = do
  send_atomicIncrement op arg_tableName arg_row arg_column arg_value
  recv_atomicIncrement ip
atomicIncrement (ip,op) arg_tableName arg_row arg_column arg_value = do
  send_atomicIncrement op arg_tableName arg_row arg_column arg_value
  recv_atomicIncrement ip