/test-suite/coq-makefile/plugin-reach-outside-API-and-succeed-by-bypassing-the-API/