sig
type
t =
Default
|
Static
|
PIC
|
DynamicNoPIC
end