void jfrontend(struct Key *);
