const position_getterinfo: JSJitInfo;