can do objprimspec at spesh-time