#
# This file is distributed under the MIT License. See LICENSE.md for details.
#

---
- FunctionMetadata:
    ControlFlowGraph:
      - End: '2'
        Start: '1'
        Successors:
        - Attributes:
          - NoReturn
          Destination: '3'
          Type: FunctionCall
  OriginalName: _start
  Type: NoReturn
- FunctionMetadata:
    ControlFlowGraph:
      - End: '4'
        Start: '3'
        Successors:
        - Destination: ":Invalid"
          Type: IndirectTailCall
  OriginalName: tailcall
  Type: NoReturn