Code and tests for simple aspect reentrancy example.