Program complexity with STM