const onafterprint_setterinfo: JSJitInfo;