PNG12_0 { global: *; };