Alloc is not a binop