include "Clight/AST.ma".

definition costlabel ≝ ident.