何が出力されるでしょうか

 #include <stdio.h>
 int main() {
     printf("%d %f\n", 1.2, 3);
 }