+ /*
+ * We need a temporary buffer. If it is small, let's use stack.
+ * Otherwise, we malloc it, but we have to be careful, since we
+ * might be running inside a transaction and bwrite() could
+ * throw an exception.
+ *
+ * FIXME: This deserves a more systematic solution, the same
+ * problem is likely to happen at other places, too.
+ */