const onafterprint_getterinfo: JSJitInfo;