Use old inefficient implementation for top-level for now.