export const envelope16F: string;