Module Astring_top