#include <assert.h>
#include <stdio.h>
#include <stdlib.h>
References abort(), file, line, and printf.