Use int terminators for char sequences