#include <stdlib.h>, for abort().