automatic allocation for spaghetti::extra