A3: Super-basic test works (but some LICM checks are still WIP)