export type SYCHAR512 = string;