extra (theater patron)