Symbol: dbteste_isa