Int a b c (10/48)

Int a b c