.
slots novoline agda