Source positions in the top level definitions