add a mangle version of std lib