The following function template tries to locate an object in an array of bytes.
We may assume that the argument buffer “usually” holds an object of the given type, but I need a diagnostic (assertion check) against possible errors.