// RUN: (static_library_demo) | FileCheck %s
// CHECK-LABEL: static_library_run_bytecode passed
