Note on cross-implementation testing