programming problem for ACSL