Helper functions of RtTL lab