#include int main(void){ printf("%.4f\n", 666.2547857); printf("%3.8d\n", 1000); printf("%10.15s\n", "simple test"); return 0;}