diff --git a/test/bytecode_3.8/00_double_return.pyc b/test/bytecode_3.8/00_double_return.pyc
new file mode 100644
index 000000000..ceb71fc02
Binary files /dev/null and b/test/bytecode_3.8/00_double_return.pyc differ
diff --git a/test/simple_source/bug38/00_double_return.py b/test/simple_source/bug38/00_double_return.py
new file mode 100644
index 000000000..b3cd7463b
--- /dev/null
+++ b/test/simple_source/bug38/00_double_return.py
@@ -0,0 +1,8 @@
+def main():
+  if input() == 0:
+    print("0")
+    return
+  if input() == 1:
+    print("1")
+  else:
+    printf("other")
\ No newline at end of file