#include <civlc.cvh>
#include <stdio.h>

$input int A;
$input int B;
$input int C;
$assume A > 0;
$assume B > 0;
$assume C > 0;

void main() {
 printf("result of modulo is %d\n", A % (B * C));
}