pos_0 rewrite total money