export const envelope32F: string;