target_os = "solid_asp3"
std::collections::{HashMap, HashSet}
$$Sub$$
$$Super$$
__attribute__((at( ADDRESS )))