remove unreachable check. format r#
remove unreachable check. format r#
refactor list alloc; improve GetUnobserved run time