Indeed true. May I create a new pull request to simplify the code?
-- You are receiving this because you are subscribed to this thread. Reply to this email directly or view it on GitHub: https://github.com/apache/incubator-teaclave/commit/80fe5e9b78f3d5a023a07f9b44cabf4bd994a919#commitcomment-40213337
