#include <stdio.h>

int main(int argc, char* argv[])
{
  int rc = 0;

  rc = fprintf(stdout, "%s", "aa\n"); /* rc=1 on my amd64 system */
  printf("rc=%d (should be 3)\n", rc);

  rc = fprintf(stdout, "%s\n", "aa");
  printf("rc=%d (should be 3)\n", rc);

  rc = printf("%s", "aa\n");
  printf("rc=%d (should be 3)\n", rc);
}