Regress.AliasedTestBoxed

Typedef TestBoxed to test caller-allocates correctness