type F = unsafe ();