src/distrib/shark