#include <sys/types.h>
#include <sys/mman.h>
#include <stdio.h>
#include <fenv.h>
#include <native/task.h>

double z;

int main (int argc, char **argv)
{
	double a = 23.0;

	z = 0;
	fesetenv(FE_ENABLED_ENV);

        mlockall(MCL_CURRENT | MCL_FUTURE);

	rt_task_shadow(NULL, "main", 10, 0);
	a /= z;
	rt_task_suspend(NULL);

	return (int)a;
}