Def using a symbol as initial value