export const envelope16: string;