const form_getterinfo: JSJitInfo;