Redistribution and use in source and binary forms, with or without modification, are permitted provided that redistributions of source code retain the above copyright notice and this comment without modification.