chiark / gitweb /
mutate_ok: abolish, and provide only check_mutate