proc htmlCommand(v: Values) {....raises: [IOError, ValueError, KeyError, OSError],
                              tags: [WriteIOEffect, ReadIOEffect, TimeEffect],
                              forbids: [].}