Filled holes in speclang syntax functions