some examples with fixpoints