concrete syntax: uninitialized local allocation for structs.