:l T8557.hs
:force x