module TP1 {
}