var d : double; r : real48 = ($0, $0, $0, $0, $0, $0); BEGIN d := r; if d<>0.0 then halt(1); END.