Updated for IHDLBigInterpreter