added BuiltinWriter, fixed specialization code