MarsSeed [1] filed a deletion request for wrs-vxworks-headers [2]: Orphan headers for something having to do with robotics research; package last updated in 2017, upstream URL gone. Only some broken, related packages depend on it. Safe to delete.
[1] https://aur.archlinux.org/account/MarsSeed/ [2] https://aur.archlinux.org/pkgbase/wrs-vxworks-headers/
