From 4.4A-BSDLite
