Debug infra in a different file