export const envelope32: string;