Separated TrVM to header file