100644 blob 2850d3285a3b200a798f3e1b3a879ecff5c3875a	basicmem.isa
100644 blob b79eb3f79c2e09154587657b0642936d284ada9c	blockmem.isa
100644 blob e8d59f78935187e9ed6b9e2532614b5af7a052b2	mem.isa
100644 blob ef13385bdf201ee87fa3a2400c3e37a38b242ca1	swap.isa
100644 blob da2a4f9a859d7fda464c632049c5366090c14f14	util.isa