src/share/misc

.