Simple code contract for ActionScript.