These are examples of non-public API and are in practice manual tests of
that API.