An open source flash player implementation