Marxist-Leninist, also colloquially known as “tankies”