texinfo-dummy-native