Porting from TenJava