dot::decode() functions added