One-file Javascript source