Tagged ritoban-c