src/share/misc
