dramatic speedup of sem5 by avoiding Maps