add a few more rtl functions