module EmitCalledInlineFunction {
  header "emit-called-inline-function.h"
  export *
}