#include <stdio.h>
#include <stdlib.h>

int main(int argc, char **argv)
{
	/* TODO http://cve.mitre.org/cgi-bin/cvename.cgi?name=cve-2016-5195 */
	return EXIT_FAILURE;
}