(^) deterministic => safe
(^) cpp
(^) ship: # => *