halfspace.c 3 KB