rustv0_parse_dynbounds
rustv0_parse_dynbounds(st, sv);
static boolean_t rustv0_parse_dynbounds(rust_state_t *restrict,