This file is automatically @generated by Lapidary and should not be changed by hand.
