#include "io/write.h"

// We do not implement anything without templates