export type proc = (caption: String) => void;
export type justproc = () => void;