program generating atom state
code style
code style )