Plugin Extension for the SharpKit compiler to facilitate Randori