Text this: Classical realizability and side-effects