defaults and casts