insert: exit with error if EOF