val trap_handler_size : int