-/* Copyright (C) 2013 Free Software Foundation, Inc.
+/* Copyright (C) 2013, 2014 Free Software Foundation, Inc.
*
* This library is free software; you can redistribute it and/or
* modify it under the terms of the GNU Lesser General Public License
#include <config.h>
#endif
+#undef NDEBUG
+
#include <assert.h>
#include <libguile.h>
#include <stdio.h>