#ifndef EXECUTE_H
#define EXECUTE_H
-/* Execute the program with arguments as specified.
+/* Execute the program with arguments as specified, but with the
+ * fips library specified as an LD_PRELOAD.
*/
int
-execute (int argc, char * const argv[]);
+execute_with_fips_preload (int argc, char * const argv[]);
#endif