function-redefined:21:0:23:18:double_with_docstring:function already defined line 16:UNDEFINED
