Implemented in jcycle