Update trapdef.cpp