Introduce
KRT EXPORTS