
Contract I
+----------+-------------------+
| Function | require or assert |
+----------+-------------------+
+----------+-------------------+
