use build/check!; TODO: TEST TEST TEST