:r
:seti -fprint-explicit-foralls
:set prompt >>>
:set -Wall
:t id
:l abc