<<>> <> <> <> <<>> DIRECTORY BreakWorldArchitecture, MIPSArchitecture, TargetArchitecture; MIPSBreakWorldUtilities: CEDAR DEFINITIONS ~ { MIPSInstructionFromBreakWorldAddress: PROCEDURE [ address: BreakWorldArchitecture.Address, displacement: TargetArchitecture.Displacement _ TargetArchitecture.nullDisplacement] RETURNS [MIPSArchitecture.MIPSInstruction]; MIPSAddressFromBreakWorldAddress: PROCEDURE [ address: BreakWorldArchitecture.Address, displacement: TargetArchitecture.Displacement _ TargetArchitecture.nullDisplacement] RETURNS [MIPSArchitecture.MIPSAddress]; }.