(module
  (memory 1 1)
  (func $mystart
   ;; should not be modified because its the start function
   (i32.store (i32.load (i32.const 42)) (i32.const 43))
   (call $foo)
  )
  (func $foo
   ;; should not be modified because its reachable from start function
   (i32.store (i32.load (i32.const 1234)) (i32.const 5678))
   (call $foo2)
  )
  (func $foo2
   ;; should not be modified because its reachable from start function
   (i32.store (i32.load (i32.const 98)) (i32.const 99))
  )
  (func $bar
   (i32.store (i32.load (i32.const 1234)) (i32.const 5678))
  )
  (start $mystart)
)