These tests are slightly modified versions of the insert-std tests.
(Taking out call coverage and adding weak mutation instrumentation.)
