Embeddable Refal5 implementation