#ifndef DUCC_STD_H
#define DUCC_STD_H

#include <stddef.h>

// TODO: <stdlib.h>
int mkstemps(char*, int);

#endif