cast semantics (not correct yet)

- the original stride information is required