# This file is vendored from the Triton project. DO NOT EDIT THIS FILE DIRECTLY.