chiark / gitweb /
introduce $debugprefix and debugprint etc.