Example for alloc combinator