module String.C where

type S = Addr#