#include <stdio.h>
void main ()
{
	float ei(float);

	printf("EI delivers:  %e\n",-ei(-0.5));
}