add atom badfun to ERT
add atom badfun to ERT

trifork/erjang,trifork/erjang,trifork/erjang,csae1152/erjang,csae1152/erjang,csae1152/erjang,trifork/erjang,trifork/erjang,csae1152/erjang,csae1152/erjang,trifork/erjang,trifork/erjang