Microchip brand identity is a valuable asset protected by trademark law. Microchip aims to protect this asset by ensuring that its trademarks are used properly by Microchip, its customers, licensees, distributors, vendors, consultants, developers and others. You may use Microchip trademarks and product names to refer to Microchip products and services as long as you follow these Guidelines.
...
Return VS @ INT_RETURN in DT_INTs
(In case it helps someone avoid wasting hours looking why a program locks)
Demon Today, 03:54RETURN at the end of your interrupt will compile, but it will return to Mars or some such distant place.