Header file for FreeBSD