export data $x = align 4 { s s_inf, }