void _debug_check_free() void _debug_check_free(int(0..1) silent)
this syncs the database and verifies the database free list. It prints stuff on stderr. It exists only for debug purpose and has no other use.