Edit requests of safe functionは未定義動作を許さないといったな、あれは嘘だ (タイトルは釣りです)