export const addConstant32: string;