v0.6 (depends on nat>=0.2)