bemoan that _stp_*printf can't be protected with gcc attribute printf

diff --git a/runtime/string.c b/runtime/string.c
index cdafbf64f52e04073d816893ef3b178ea685a206..b3f81f0e521662eaea0af6fd5e964ede57525871 100644 (file)
--- a/runtime/string.c
+++ b/runtime/string.c
@@ -21,7 +21,11 @@
  */
 
 /** Sprintf into a string.
- * Like printf, except output goes into a string.
+ * Like printf, except output goes into a string.  
+ *
+ * NB: these are script language printf formatting directives, where
+ * %d ints are 64-bits etc, so we can't use gcc level attribute printf
+ * to type-check the arguments.
  *
  * @param str string
  * @param fmt A printf-style format string followed by a