export const contract16: string;