correct parsing of alloclist + test case