# pas
param dt := 0.1;

# amax
param a_max := 10;

# big number
param M := 100;

end;