[P3]+1 semicolon