Better support for user-defined interceptors that can be directly compiled with SeeC.