export `dim`