========================= Simple Instantiation ========================= bool() main; --- (p4program (instantiation (typeRef (baseType (bool) ) ) (arguments) (identifier) ) )