It is shown that there exists a finitely generated infinite simple group of
infinite commutator width and infinite square width in which every
conjugation-invariant norm is stably bounded, and in particular the stable
commutator length vanishes. Moreover, a recursive presentation of such a group
with decidable word and conjugacy problems is constructed.