no spaces around `pos`, and no space before `:`