//#Safe
// regression test (5.01.2016)
// Author: nutz
//
#include <stdlib.h>
#include <string.h>

int nonmain() {
  int *jp = malloc(3 * sizeof(int));

  *jp = 4;

  jp++;

  memset(jp, 12345, 2 * sizeof(int));
}