An alternative implementation of RML