special-case "prototype" when emitting names