void allocation_primitive(int fd[2]);