Describir: Classical realizability and side-effects