Syntax for Pastek files