[READ ONLY] Herbie-Plugin Test. This is a subtree split of the "plugins" repo.