A simple contracts library for ActionScript.