typedef VarChar<Const> = String;