chiark / gitweb /
midend_deserialise: accept an extra validation function.