prototype: remove debugging code