Typedef TestBoxed to test caller-allocates correctness