Symbol: decomp_step