That one exists in jbsplib, too