1Checker test for testing load-store elimination.
2