contains JavaDiKt's export format auxiliary methods for core package