Make `values` faster (fix #652)
Use __attribute__ __printf__ with GCC