typedef-InterpretationEnvironment 752 Bytes