more lib introduced, formatting, test