SuperRust replies on comments by Jeevoder