/* trap code is described in systrap.h */