A C implementation of UnifyProject/draft/RFC-4