-- code and tests for entry-balanced?