Int a b c (8/48)

Int a b c