Restored HNatCyl example to how it was originally