char *
getplatform()
{
	return "mac";
}