}
@Override
public byte getByteAt(int fp) {
RTLNumber va = ExpressionFactory.createNumber(module.getVirtualAddress(fp).getValue(), 32);
RTLMemoryLocation m = ExpressionFactory.createMemoryLocation(va, 8);
Set<Tuple<RTLNumber>> cValSet = state.projectionFromConcretization(m);
// Hooray for fragile code
return (byte)cValSet.iterator().next().get(0).intValue();
}