[spec/builtin-trap] Adjust timing