setaggr_exist
bat_nil
printf
#printf_dbl switched off as the double cannot hold the data
printf_nil
const
modrefcnt1
modrefcnt2-is
modrefcnt2
monet_mod_cnt-copy_S
monet_mod_cnt-copy_C
refcnt
refcnt2
modADTvar
milTokens
