Table 7. Sample VTR mutant.

L1	function transfer(address dst, uint256 amount) external nonReentrant returns (bool) {
L2	return transferTokens(msg.sender, msg.sender, dst, amount) = = uint(Error.NO_ERROR)
L3	}
L1	function transfer(address dst, uint8 amount) external nonReentrant returns (bool) {
L2	return transferTokens(msg.sender, msg.sender, dst, amount) = = uint(Error.NO_ERROR)
L3	}