
Contract C
+-----------------+-------------------------+--------------------------+
| Function        | State variables written | Conditions on msg.sender |
+-----------------+-------------------------+--------------------------+
| emitWithKeyword |                      [] |                       [] |
+-----------------+-------------------------+--------------------------+

