should we have this assert in there I guess this is hot but small enough in terms of bytecodes