Macro hopper_check 

macro_rules! hopper_check {
    ($account:expr, $( $constraint:tt )+) => { ... };
}

Composable account constraint checking.

hopper_check!(vault,
    owner = program_id,
    writable,
    signer,
    disc = Vault::DISC,
    size >= Vault::LEN,
);