Added some stubbing for A-hsetregs