Added ftrapv switch