<?
	#document_pointer = new_document();
	document_add_term($document_pointer, "hej", 1);
	var_dump($document_pointer);

	$broken_pointer = array();

	// this will segfault, seemingly because we give a nonexistant array element as the index pointer
	$document_id = writabledatabase_add_document($broken_pointer[1], $document_pointer);
?>