kernelConstants.java

import java.io.PrintWriter;

public class kernelConstants {
    int global_mangle_num = 0;
}